Optimization and Learning in FACTORIE Alexandre Passos, Luke Vilnis, Andrew McCallum Department of Computer Science University of Massachusetts, Amherst Amherst, MA, 01003

Source URL: people.cs.umass.edu

Optimization-based Clustering approach of heterogeneous networks with robust network components Mohammadreza Saeedmanesh, EPFL Nikolas Geroliminis, EPFL Conference paper STRC 2015

Source URL: www.strc.ch

• Computing
• Data mining
• Cluster analysis
• Geostatistics
• Fault-tolerant computer systems
• Statistics
• Image segmentation
• Computer cluster
• Mathematical optimization
• HCS clustering algorithm
• Correlation clustering

Measurement and Modeling of Eye-mouse Behavior in the Presence of Nonlinear Page Layouts Vidhya Navalpakkam LaDawn Jentzsch

Source URL: www2013.wwwconference.org

• Computer mice
• Internet marketing
• Internet search engines
• Cognitive science
• Eye
• Eye tracking
• Mouse tracking
• Computer mouse
• Golden Triangle
• Bing
• Search engine optimization
• Dwell time

On Approximability of Bounded Degree Instances of Selected Optimization Problems Richard Schmied Dept. of Computer Science and Hausdorff Center for Mathematics,

Source URL: theory.cs.uni-bonn.de

Program Repair as Sound Optimization of Broken Programs Bernd Fischer School of Electronics and Computer Science University of Southampton Southampton, SO17 1BJ, United Kingdom Email:

Source URL: cs.ioc.ee

Scientific Report First name / Family name Ralf Hannemann-Tamás

Source URL: fellowship.ercim.eu

• Object-oriented programming
• Software engineering
• Scientific modeling
• Mathematical optimization
• Operations research
• Modelica
• Sensitivity analysis
• Reduction
• Computer programming
• Economy

2015 Knuth Prize Citation for L´ aszl´ o Babai The 2015 Donald E. Knuth Prize is awarded to L´aszl´o Babai of the University of Chicago for his fundamental contributions to theoretical computer science, including alg

Source URL: www.sigact.org

• Probabilistic complexity theory
• Theoretical computer science
• Morphisms
• Computational complexity theory
• PCP theorem
• Mathematical optimization
• Probabilistically checkable proof
• Combinatorica
• IP
• Algorithm
• Russell Impagliazzo
• Graph isomorphism

A Class of Greedy Algorithms And Its Relation to Greedoids Srinivas Nedunuri Dept. of Computer S ien es University of Texas at Austin

Source URL: www.kestrel.edu

• Mathematics
• Combinatorial optimization
• Greedoid
• Order theory
• Matroid
• Category theory
• Universal property
• Morphism

JuMP: A MODELING LANGUAGE FOR MATHEMATICAL OPTIMIZATION IAIN DUNNING, JOEY HUCHETTE, MILES LUBIN ∗

Source URL: www.optimization-online.org

• Mathematical optimization
• Operations research
• Numerical software
• Computer algebra systems
• AMPL
• Algebraic modeling language
• Linear programming
• Gurobi
• Automatic differentiation
• Nl
• Pyomo
• SCIP

Dynamic Test Generation for Large Binary Programs by David Alexander Molnar A.B. (Harvard CollegeM.S. (University of California, Berkeley) 2006

Source URL: www.dmolnar.com

• Software testing
• Search algorithms
• Theoretical computer science
• Fuzz testing
• Hash function
• Algorithm
• Mathematical optimization
• Software bug
• Information retrieval
• Software engineering
• Mathematics